<?php

// @formatter:off
/**
 * @file config.php
 * @author Alejandro Dario Simi
 * @date $Date: 2014-05-04 01:33:52 +0000 (Sun, 04 May 2014) $
 *
 * $Id: config.php 111 2014-05-04 01:33:52Z daemonraco@gmail.com $
 * $URL: http://wcomix.googlecode.com/svn/trunk/tools/config.php $
 */
$wcWebToolsEnabled = true;
$wcShellToolsEnabled = true;
?>
